<html>
<head><meta charset="utf-8"><title>I-prioritize #77638 Type inference regression in nightly 20… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html">I-prioritize #77638 Type inference regression in nightly 20…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="212519178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212519178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212519178">(Oct 07 2020 at 06:24)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/77638">#77638</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="212519404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212519404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mason Stallmo <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212519404">(Oct 07 2020 at 06:28)</a>:</h4>
<p>Looks like this has already been bisected and we're still waiting on more information from the author of the commit that caused the regression.</p>
<p>I'm thinking P-high for this as it seems there is a workaround for the issue by including type annotations.</p>



<a name="212522133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212522133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212522133">(Oct 07 2020 at 07:19)</a>:</h4>
<p>It's still a breaking change though</p>



<a name="212522145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212522145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212522145">(Oct 07 2020 at 07:19)</a>:</h4>
<p>That has been caught very early</p>



<a name="212522565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212522565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212522565">(Oct 07 2020 at 07:25)</a>:</h4>
<p>I think it should be P-critical</p>



<a name="212522741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212522741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mason Stallmo <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212522741">(Oct 07 2020 at 07:28)</a>:</h4>
<p>I'm good with a P-critical. I was on the fence myself initially between the two.</p>



<a name="212523260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212523260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212523260">(Oct 07 2020 at 07:33)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/77638">#77638</a>'s prioritization request has been removed.</p>



<a name="212564555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212564555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212564555">(Oct 07 2020 at 14:17)</a>:</h4>
<blockquote>
<p>I'm thinking P-high for this as it seems there is a workaround for the issue by including type annotations.</p>
</blockquote>
<p>that caused another ICE haha</p>



<a name="212564573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212564573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212564573">(Oct 07 2020 at 14:17)</a>:</h4>
<p>so I definitely agree with P-critical</p>



<a name="212564779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212564779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212564779">(Oct 07 2020 at 14:18)</a>:</h4>
<p>One bug can hide another <span aria-label="eyes" class="emoji emoji-1f440" role="img" title="eyes">:eyes:</span></p>



<a name="212564863"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212564863" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lzutao <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212564863">(Oct 07 2020 at 14:19)</a>:</h4>
<p>I would like opening another issue to track the ICE.</p>



<a name="212565053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212565053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212565053">(Oct 07 2020 at 14:20)</a>:</h4>
<p>Sure, feel free to add <code>I-prioritize</code> so we can label it with regression labels</p>



<a name="212565066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212565066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212565066">(Oct 07 2020 at 14:20)</a>:</h4>
<p>I'd expect them to be caused by the same thing</p>



<a name="212565155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212565155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lzutao <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212565155">(Oct 07 2020 at 14:21)</a>:</h4>
<p>yeah, that could be. but they're not the same bug I think.</p>



<a name="212565204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212565204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212565204">(Oct 07 2020 at 14:21)</a>:</h4>
<p>I guess we should keep them separated as long as we don't know</p>



<a name="212565274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2377638%20Type%20inference%20regression%20in%20nightly%2020%E2%80%A6/near/212565274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2377638.20Type.20inference.20regression.20in.20nightly.2020.E2.80.A6.html#212565274">(Oct 07 2020 at 14:22)</a>:</h4>
<p>We don't want to close an issue which is not resolved or tracked elsewhere</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>